Date: Mon, 11 Nov 1996 17:32:55 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Fri, 12 Jan 1996 23:07:49 GMT
Content-length: 7098

<html>
<head>
<title> CS 736 Paper Reading List (Spring 96)</title>
</head>

<BODY>
<h1> CS 736 Paper Reading List (Spring 96)</h1>
<ol>

<h2>Pretty Old</h2>
<li>
Per Brinch Hansen,``The Nucleus of a Multiprogramming System'',
<i>Communications of the ACM</i>, <b>13</b>(4), April 1970, pp. 238-250.
<li>
Andrew Tanenbaum,``Fundamental Concepts in MS-DOS'',
<i>Modern Operating Systems</i>, Chapter <b>8</b>, Section 8.3.1, pp. 328-359.

<h2>Concurrency</h2>
<li>
C.A.R. Hoare, ``Communicating Sequential Processes'', 
<i>Communications of the ACM</i>, <b>21</b>(8), August 1978, pp. 666-677.
<li>
C.A.R. Hoare, ''Monitors:  An Operating System Structuring Concept''.
<i>Communications of the ACM</i>, <b>17</b>(10), October 1974, pp. 549-557.
<li>
Butler W. Lampson,
David D. Redell,
``Experiences with Processes and Monitors in Mesa'',
<i>Communications of the ACM</i>,
<b>23</b>(2),
February 1980,
pp. 105-117.
<li>
Hugh C. Lauer,
Roger M. Needham,
``On the Duality of Operating System Structures'',
<i>Operating Systems Review</i>,
<b>13</b>(2),
April 1979,
pp. 3-19.
<li>
Andrew D. Birrell,
``An Introduction to Programming with Threads'',
<i>System Programming with Modula-3</i>,
Chapter <b>4</b>, pp. 88-118.

<h2>Example Systems</h2>
<li>
Dennis M. Ritchie, Ken Thompson.  ``The UNIX Timesharing System''.
<i>Communications of the ACM</i>, <b>17</b>(7), July 1974, pp. 365-375.
<li>
David D. Redell,
Yogen K. Dalal,
Thomas R. Horsley,
Hugh C. Lauer,
William C. Lynch,
Paul R. McJones,
Hal G. Murray,
Stephen C. Purcell,
``Pilot: An Operating System for a Personal Computer'',
<i>Communications of the ACM</i>,
<b>23</b>(2),
February 1980,
pp. 81-92.

<h2>Memory Management</h2>

<h3>Mechanisms</h3>
<li>
A. Bensoussan,
C.T. Clingen,
R.C. Daley,
``The Multics Virtual Memory:  Concepts and Design'',
<i>Communications of the ACM</i>,
<b>15</b>(5),
May 1972,
pp. 308-318.
<li>
Henry M. Levy, Peter Lipman, ``Virtual Memory Management in VAX/VMS''.
<i>Computer</i>, <b>15</b>(3), March 1982, pp. 35-41.
<li>
Ozalp Babaoglu,
William Joy,
``Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits'',
<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,
<b>15</b>(5),
December 1981,
pp. 78-86.
<li>
Michael Young,
Avadis Tevanian,
Richard Rashid,
David Golub,
Jeffrey Eppinger,
Jonathan Chew,
William Bolosky,
David Black,
Robert Baron,
``The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System'',
<i>Proceedings of the 11th SOSP, Operating Systems Review</i>,
<b>21</b>(5),
November 1987,
pp. 63-76.

<h3>Policies</h3>
<li>
Peter J. Denning,
``Working Set Past and Present'',
<i>Communications of the ACM</i>,
<b>11</b>(5),
May 1968,
pp. 323-333.

<h3>Distributed Shared Memory</h3>
<li>
Kai Li, Paul Hudak.  ``Memory Coherence in Shared Virtual Memory Systems''.  
<i>ACM Transaction on Computer Systems</i>, <b>7</b>(4), November 1989,
pp. 321-359.


<h2>File Systems</h2>
<li>
Chris Ruemmler, John Wilkes,
``An Introduction to Disk Drive Modeling'',
<i>IEEE Computer</i>, <b>27</b>(3), March 1994, pp.17-29.
<li>
M.K McKusick,
W. N. Joy,
S. J. Leffler,
R. S. Fabry,
``A Fast File System for UNIX'',
<i>ACM Trans. on Computer Systems</i>,
<b>2</b>(3),
August 1984,
pp. 181-197.
<li>
Mary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff, John K. Ousterhout,
``Measurements of a Distributed File System'',
<i>Proceedings of the 13th SOSP, Operating Systems Review</i>,
<b>25</b>(5), October 1991.
<li>
Mendel Rosenblum,
John K. Ousterhout,
``The Design and Implementation of a Log-Structured File System'',
<i>Proceedings of the 13th SOSP, Operating Systems Review</i>,
<b>25</b>(5),
pp. 1-15.
October 1991.
<li>
David A. Patterson, Garth Gibson, Randy H. Katz
``A Case for Redundant Array of Inexpensive Disks (RAID)'',
<i>Proceedings of SIGMOD '88</i>, 1988, pp. 109-116.

<h2>Distributed Systems</h2>
<li>
Andrew D. Birrell,
Roy Levin,
Roger M. Needham,
Michael D. Schroeder,
``Grapevine:  An Exercise in Distributed Computing'',
<i>Communications of the ACM</i>,
<b>25</b>(4),
April 1982,
pp. 260-274.
<li>
Andrew D. Birrell,
Bruce Jay Nelson,
``Implementing Remote Procedure Calls'',
<i>ACM Transactions on Computer Systems</i>,
<b>2</b>(1),
February 1984,
pp. 39-59.
<li>
David R. Cheriton,
Willy Zwaenepoel,
``The Distributed V Kernel and its Performance for Diskless Workstations'',
<i>Proceedings of the 9th SOSP, Operating Systems Review</i>,
<b>17</b>(5),
November 1983,
pp. 129-140.

<h2>Distributed File Systems</h2>
<li>
Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon,
``Design and Implementation of the Sun Network Filesystem'',
Sun Microsystems, Inc.
<li>
John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols,
M. Stayanayanan, Robert N. Sidebotham, and Michael J. West, ``Scale
and Performance in a Distributed File System''.  <i>ACM Transaction on
Computer Systems</i>, <b>6</b>(1), February 1988, pp. 51-81.

<h2>Security: Authentication</h2>
<li>
R. L. Rivest, S. Shamir, L. Adleman,
``A Method for Obtaining Digital Signatures and Public Key Cryptosystems'',
<i>Communications of the ACM</i>, <b>21</b>(2), February 1978, pp. 120-126.
<li>
J. G. Steiner,
C. Neuman,
J. I. Schiller,
``Kerberos: An Authentication Service for Open Network Systems'',
<i>USENIX '88</i>,
Dallas, TX,
February 1988,
pp. 191-202.
<li>
Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber,
``Authentication in Distributed Systems: Theory and Practice'',
<i>ACM Transactions on Computer Systems</i>, <b>10</b>(4), November 1992, 
pp. 265-310.

<h2>Security: Authorization</h2>
<li>
Anita K. Jones,
William A. Wulf,
``Towards the Design of Secure Systems'',
<i>Software - Practice and Experience</i>,
<b>5</b>(4),
1975,
pp. 321-336.
<li>
Frederick T. Gramp,
Robert H. Morris,
``UNIX Operating System Security'',
<i>AT&T Bell Laboratories Technical Journal</i>,
<b>63</b>(8),
October 1984,
pp. 1649-1672.
<li>
Drew Dean, Dan S. Wallach,
``Security Flaws in the HotJava Web Browser'',
<a href="http://www.cs.princeton.edu/~ddean">http://www.cs.princeton.edu/~ddean</a>, November 1995.

<h2>Case Study</h2>
<li>
Henry Massalin,
Carlton Pu,
``Theads and Input/Output in the Synthesis Kernel'',
<i>Proceedings of the 12th SOSP, Operating Systems Review</i>,
<b>23</b>(5),
December 1989,
pp. 191-201.
<li>
Michael Podanoffsky,
``A Comparison Between the Mach and Windows NT Kernels'',
<a href="http://world.std.com/~mikep>http://world.std.com/~mikep</a>, May 1995.
<li>
Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer,
Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers,
``Extensibility, Safety and Performance in the <i>SPIN</i> Operating System'',
<i>Proceedings of the 15th SOSP</i>, December 1995.
<li>
Butler W. Lampson,
``Hints for Computer System Design'',
<i>Proceedings of the 9th SOSP, Operating System Review</i>,
<b>17</b>(5),
pp. 33-48.
October 1983,
<li>
Roy Levin,
David D. Redell,
``An Evaluation of the 9th SOSP Submissions'',
<i>Operating Systems Review</i>,
<b>17</b>(3),
July 1983,
pp. 35-40.

</ol>
</body>

